Computably Based Locally Compact Spaces
نویسندگان
چکیده
منابع مشابه
Computably Based Locally Compact Spaces
ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same category as the original space, with an associated lambda-calculus. In this paper, this is shown to be equivalent to a notion of computable basis for locally compact sober spaces or locales, involving a family...
متن کاملLocally Compact, Ω1-compact Spaces
This paper is centered on an extremely general problem: Problem. Is it consistent (perhaps modulo large cardinals) that a locally compact space X must be the union of countably many ω-bounded subspaces if every closed discrete subspace of X is countable [in other words, if X is ω1-compact]? A space is ω-bounded if every countable subset has compact closure. This is a strengthening of countable ...
متن کاملLocally Compact Path Spaces
It is shown that the space X [0,1], of continuous maps [0, 1] → X with the compact-open topology, is not locally compact for any space X having a nonconstant path of closed points. For a T1-space X, it follows that X [0,1] is locally compact if and only if X is locally compact and totally path-disconnected. AMS Classification: 54C35, 54E45, 55P35, 18B30, 18D15
متن کاملOne-point extensions of locally compact paracompact spaces
A space $Y$ is called an {em extension} of a space $X$, if $Y$ contains $X$ as a dense subspace. Two extensions of $X$ are said to be {em equivalent}, if there is a homeomorphism between them which fixes $X$ point-wise. For two (equivalence classes of) extensions $Y$ and $Y'$ of $X$ let $Yleq Y'$, if there is a continuous function of $Y'$ into $Y$ which fixes $X$ point-wise. An extension $Y$ ...
متن کاملFuzzifying Strongly Compact Spaces and Fuzzifying Locally Strongly Compact Spaces
In this paper, some characterizations of fuzzifying strong compactness are given, including characterizations in terms of nets and pre -subbases. Several characterizations of locally strong compactness in the framework of fuzzifying topology are introduced and the mapping theorems are obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2006
ISSN: 1860-5974
DOI: 10.2168/lmcs-2(1:1)2006